La didactique, dites-vous?

De l'analyse didactique à la modélisation informatique pour la conception d'un EIAH en chirurgie orthopédique

Résumé. L’objet de la recherche présentée est de concevoir un environnement informatique d’apprentissage qui permette de réduire l’écart entre la formation théorique des chirurgiens et leur formation pratique, qui se déroule principalement sur le mode du compagnonnage. L’article expose la méthodologie et quelques illustrations du travail didactique d’analyse des connaissances et du système d’en...

« Pour commencer, pourriez-vous définir 'données de la recherche' ? » Une tentative de réponse

RESUME. Le projet D4Humanities s’inscrit dans le champ des Humanités numériques – comment permettre l’exploration des données de la recherche en SHS (corpus textuels ou oraux, données brutes, images...) avec des techniques numériques (text and data mining, cartographie, visualisation...) afin de construire un sens nouveau ? Il s’inscrit dans la continuité des travaux du laboratoire GERiiCO et d...

Asynchronous Rendez-vous in Distributed Logic Programming

In this paper the semantics of the communication mechanism of the distributed logic programming language DLP is studied. DLP combines logic programming with object oriented features and parallelism. For an abstract subset of DLP both an operational and denotational semantics is given. The language DLP supports active objects, method call by rendezvous and moreover (distributed) backtracking ove...

Adnosco : gérez les données que vous diffusez !

Resurrecting Ada's Rendez-Vous in Java

Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare’s Monitors, being too low level for most applications. In this paper we propose a high level synchronization mechanism for Java, based on Ada’s Rendez-Vous, adapting the notation and semantics to Java. The result is a nice and read...